Water quantity and quality challenges from Elephant Butte to Amistad

From Quantity to Quality

In temporal-logic model checking, we verify the correctness of a program with respect to a desired behavior by checking whether a structure that models the program satis es a temporal-logic formula that speci es the behavior. The model-checking problem for the branching-time temporal logic CTL can be solved in linear running time, and model-checking tools for CTL are used successfully in indust...

Global stressors on water quality and quantity.

This inequality is especially critical for Asia, which has 60% of the world’s population but only 36% of the world’s water. Water quality in terms of pollutant loading also is not distributed equally and is related to the type of use and a country’s level of development (Figure 2). Developing countries often have less capacity to improve water quality and depend on lower-quality water for a var...

A Meta-model for Water Quantity and Water Quality

The management of water resources requires simulation models for different time horizons and spatial scales as well as different types of information systems as GIS or Water Information Systems. Mathematical models integrate former experiences and theoretical knowledge about a system with actual information gained by natural processes and man-induced activities. Because of the great variety and...

FROM QUANTITY TO QUALITY Cognitive, motivational and social aspects of creative idea generation and selection FROM QUANTITY TO QUALITY

Effects of water quality and water quantity on nutritional status: findings from a south Indian community.

Quantitative assessments of the relative effects on health of various aspects of water supply are virtually absent from the literature. Despite the lack of information, resources are being allocated throughout the developing world, for projects related to water and sanitation. The present study was designed specifically to overcome many of the methodological problems that other researchers have...